- 双语例句 更多例句
Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
互联网摘选
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
互联网摘选
- 相关词组
- head bay of lock船闸前港;船闸闸首
- lock in将…锁[包围]在里面;使固定;
- indicating lock指示锁
- gear lock齿轮保险装置
- switch lock开关锁,道岔锁闭器;
- point lock点锁
- ball lock球形闸门;
- lock horns卷入矛盾冲突;争论不休;
- lock out把…关在外边,不准(某人)进入…;赶出家门;
- ground track lock circuit轨道电路控制的锁闭电路
- combination lockn.号码锁;
- air lockn.阻隔室,气塞;锁气室;
- mortice lock片锁
- gear shifter shaft lock spring变速拨叉轴闭锁器锁簧
- double leg lock[体]抱单腿拦腿摔;
- lock away把…锁起来;
- gear lever lock变速杆锁
- lock a file封锁文件;
- under lock and key将…加以严密保管, 把…锁住, 被囚禁;妥善存放;
- high-speed semantic net高速语义网
- 今日热词
- 热门搜索
- responsibility n.责任,义务;职责;过失;
- pomegranate n.石榴;石榴树;
- harm v.伤害;损害;n.伤害;危害;
- 大模型 large-sized model; mock-up; large model; MOCK-UP; Big Model; Outer Model;
- eastern adj.东方的,东部(地方)的;朝东的;来自东方的;
- neil young 尼尔·杨;尼尔扬;尼尔.扬;尼尔杨
- broom n.扫帚;金雀花;[无线]自动搜索干扰振荡器;vt.扫除;用扫帚扫;
- bonjour 你好(法语);早上好;你好;
- Ottawa n.渥太华(加拿大首都);
- disappoint v.使失望;使落空;
- mail n.邮件,邮政;邮政(制度);邮务员,邮递员;〈古〉袋,旅行包;vt.邮寄;给…穿盔甲;
- network n.网络;网状物;网状系统;广播网;v.建立工作关系网;交际;